Was It Legal for Trump to Fire Seventeen Inspectors General Without Notice?