Petra is a town and municipality on the Mediterranean island of Majorca, in the Spanish autonomous community of the Balearic Islands. "Petra" means "rock" in Latin. Wikipedia