»algun dia al castillo de las Peñas de San Pedro ó al de San Antón