“little follow-up on a series of documents from the Czechoslovakian security services revealed in 2016 which stated that in 1977 Trump had entered a bizarre agreement with the federal government to not pay taxes until 2007.”