If the US allows Mexicans to build the wall and pays them and then taxes them an extra wall tax is this considered Mexico paying for the wall?