Title: An algorithm for the scheduling of vessels through the Panama Canal