CREATE TABLE table_name_4 (year_opened VARCHAR(255), mall_name VARCHAR(255))
Which year did the Short Pump Town Center Mall open?
    
SQL: SELECT year_opened FROM table_name_4 WHERE mall_name = "short pump town center"