Did US sneak 100 million barrels of oil out of Hormuz, as Trump claims?

The maths doesn’t appear to hold up, even though the US has likely managed to get some oil out of the strait.