Verification of Route Choice Model and Operational Model of Vessel Traffic traffic