As ships get bigger and the Gulf’s ports get busier, there is a rush to upgrade the region’s machines in the ports to keep up with demand. On the other side of the world, the widening of the Panama ...