 They helped them with military technology. So I would not be surprised if Haider Ali and his son Tipu Sultan would know about what was happening in America. They would probably have known the names of George Washington, Benjamin Franklin, Thomas Jefferson and others.