President Trump: “No more tax on tips.”