Increased Risk of Decompression Sickness When Diving With a Right-to-Left Shunt: Results of a Prospective Single-Blinded Observational Study (The “Carotid Doppler” Study)