What if Donald Trump puts his name on the US Holocaust Memorial Museum?