FSU professor solves 1991 diving death mystery