With a declared Armistice preventing open hostilities?
Did we actually DECLARE war against North Korea? Or just start fighting it, as in Vietnam and all others since?