Another Trump Casualty: A Tiny Office That Keeps Measurements of the World Accurate