Who holds the world record in high jump for men?

Question: Who holds the world record in high jump for men?

Choices:

Sergei Bubka
Javier Sotomayor
Ivan Pedroso
Usain Bolt

Correct answer:

Javier Sotomayor