. . . "Official vehicle of the president of South Korea" .