2차대전때 쓰인 셔먼이 한국전쟁에도 주력 탱크로 썼음?