Mori-Zwanzig formalism based reduced-order modeling for decision-making in marine autonomy