CREATE TABLE table_name_22 (launched VARCHAR(255), commissioned VARCHAR(255), bow_number VARCHAR(255))
When did the ship that was commissioned July 1948 with a bow number of ps-31 launch?
    
SQL: SELECT launched FROM table_name_22 WHERE commissioned = "july 1948" AND bow_number = "ps-31"