White House seeks another $4B to counter North Korean threats