A man is swimming in an Olympic swimming pool somewhere.