El buque de guerra británico 'HMS Diamond' hace escala mañana en el Peñón antes de partir al Golfo