"We may briefly comment that the Greeks of Plato's time cannot have had much familiarity with the Atlantic Ocean beyond the strait if they thought it was unnavigably blocked with mud."