Trump warns North Korea of devastating military options