peñón sustantivo masculino rock Peñón sustantivo masculino el Peñón (de Gibraltar) the Rock (of Gibraltar)