San Juan de Gaztelugatxe ("Drachenfelsen"), Spanien