the international naval repair market