NBC: Trump's Pentagon name change could cost up to $2 billion