CREATE TABLE table_name_16 (ngc_number INTEGER, constellation VARCHAR(255))
What is the sum of NGC numbers for Constellation vela?
    
SQL: SELECT SUM(ngc_number) FROM table_name_16 WHERE constellation = "vela"