El buque 'HMS Ocean' fondea este sábado en Gibraltar para realizar una parada programada