HII launches US Navy’s Arleigh Burke-class destroyer, Paul Ignatius (DDG 117)