Trump's options on North Korea going from bad to worse

Sanctions on North Korea have been tried, and failed. Serious negotiations seem like a pipedream. And any military strike would almost surely bring mass devastation and horrific civilian casualties.