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