Graph-Search and Differential Equations for Time-Optimal Vessel Route Planning in Dynamic Ocean Waves