Should the U.S. help defend South Korea if attacked by North Korea?