Is it ironic that...

Is it ironic that Donald Trump picked the nickname "fat boy" for Kim Jong Un when the nicknames for the first two atomic bombs were "fat man" and "little boy"?