Reino Unido despliega a la infantería de marina en el Golfo Pérsico para ‘proteger a los petroleros’