Biden says Ukraine should strike back if North Korean troops cross into Ukraine