swimming at the 1956 Summer Olympics – men's 1500 metre freestyle