On July 25, 2018, at approximately 3:00 p.m. eastern daylight time, the tweets fell silent, and a truce was declared on the European front of the trade war between the United States and, well, the rest of the world.