Amid Korea tensions, US flexes muscles in East Sea with naval strike group