Bermuda was discovered in 1503 by Spanish explorer Juan de Bermúdez. What did Spanish and Portugese ships use the islands for