Armada española patrullando el mar de China