20090710 unknown: Michael Phelps sets swimming world record in 100m butterfly