View of the Gulf of Mexico from the pools of the Pensacola Beach Hilton