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