how many olympic medals were won by the swimmer to set a championship record in the home city of dr. martin luther king jr. ?
12