NBC: Katie Ledecky wins 1,500 free, tying three other all-time U.S. greats with 12 medals