Ben Proud si ritira dal nuoto olimpico per gli Enhanced Games.