Athletics at the 1952 Summer Olympics - Men's high jump