Time-optimal navigation in arbitrary winds. (2020)