In the early 18th century (1700's - 1710's), did Portuguese warships ever stray into Spanish Caribbean waters? (Cuba, parts of the Bahamas)