Fox: Jack Alexy sets American record in 100-meter freestyle at World Aquatics Championships