Gulf Shores is a city on Alabama’s Gulf Coast. Its Gulf State Park has beaches, trails and a pier, plus a golf course and a…