The speed of shipbuilding in the US can’t catch up with China