Is there any specific instances of the early United States/American people communicating with or mentioning the Holy Roman Empire?