In the Broadway musical, Hamilton, King George is depicted as being surprised/bemused at George Washington stepping down from the presidency. Is this how European royals of the time reacted? Did they even take notice?