Palm Beach, Floride: sources du guide de plongée