CREATE TABLE table_name_17 (space_agency VARCHAR(255), name VARCHAR(255))
Which space agency launched the herschel space observatory?
    
SQL: SELECT space_agency FROM table_name_17 WHERE name = "herschel space observatory"