Who discovered the Strait of Hormuz?

Who discovered the Strait of Dover?

Who discovered the Gulf of Mexico?

Who discovered the Great Lakes?

Who discovered the Strait of Malacca?