The Gulf: The Making of An American Sea, by Jack E. Davis