Singaporean doctor who died in diving accident had decompression sickness