b'Marine ports are gateways to world trade, and their efficient functioning is a pillar of our economy. East and Gulf Coast ports have grown more important in recent years because of the expanded Panama Canal locks opened in 2016 and continuing'