America’s lost ocean: How the Great Lakes came to be