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