Question: What is the right way to free a std::vector of pointers in C++?