uss john s mccain arleigh burke class missile destroyer 2019 defense budget