«Gibralfaro» se llamaba.