Consequences of U.S. Navy diving mishaps: decompression sickness.