The US military spends four times more than China