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