Gretchen Walsh sets 100m butterfly world record at US Olympic swimming trials