Did they actually declare war, though? I remember my tenth grade history teacher telling me that the Korean War was officially still on, but I think it might have been a "military action" rather than a war.