Diving is an Olympic sport.