Much of the Gulf of Mexico is underlain by thick layers of salt that formed in a small ocean basin like the Red Sea, which formed from sea floor spreading. This salt is a good example of ________.