Swimmer punched shark in gills to get away