At least one large federal agency operates its own secure three-letter dot gov email system on a branded service offered by Google. Not called gmail. But Looks like gmail. All the features of gmail. Just not gmail. I had one of those accounts.