Tropical depression Eight forms in Gulf of Mexico, U.S. NHC says