0244~0246 曹魏, 고려 정벌