Verification of the route choice model and the operational model of vessel traffic