A group of swimmers race in a pool using the butterfly stroke