Alex Katz (born 1927); Swimmer;