Palma de Mallorca’s Old Town, also known as Casco Antiguo,...