On the tides of the Atlantic and Pacific coasts of the United States, the Gulf