Florida man bitten by 7.5-foot alligator while snorkeling in water designated for swimming: 'Use caution'