<em>Plaza de Dolores,</em> a very pleasant, shady park where a lot of locals gather.
Plaza de Dolores, a very pleasant, shady park where a lot of locals gather.