Kongsberg Digital to provide the Panama Canal Authority with