Military option for North Korea not first choice: Trump