Battle at the Portuguese coast (1726)