Question: Which space agency launched the herschel space observatory?
SQL: SELECT space_agency FROM table_name_17 WHERE name = "herschel space observatory"