US President Donald Trump said that military officials had offered him around 20 possible names for the operation before he settled on the one he preferred.