Trump says US deal with South Korea includes $8.4 billion for oil recovery