Are recreational SCUBA divers with asthma at increased risk?