The Wall Street Journal: The Pentagon modified HIMARS missiles intended for Ukraine to prevent them from reaching Russia