A 50-year-old family physician has veical diplopia; the man feels unsure when descending stairs. He can eliminate the double vision by tilting his head toward the opposite side. Which of the following extraocular muscles is responsible for the ocular malalignment?