How much did trump pay them?