Trump’s rosy Hormuz claims collide with tanker data