CNBC News Corrections

Korean People's Army (KPA) soldiers march to their positions prior to a military parade marking the 105th anniversary of the birth of late North Korean leader Kim Il Sung, in Pyongyang on April 15, 2017.
Former Pentagon official tells Senate hearing North Korea 'denuclearization is unlikely'

The carrier strike group is being led by the USS Carl Vinson. An earlier version misstated the name of the ship.