Choose the correct subjunctive verb for the sentence.
It’s best that John ___ by 3:00 so that we can leave before traffic gets heavy.

A.arrives
B.arrive
C.will have arrived
D.would arrive