So, Boris Johnson has had to pay his US tax