“US ET” as alias for EDT or EST, as appropriate