-- Database schema
| city : city_id [ INTEGER ] primary_key , city_name [ TEXT ] , state [ TEXT ] , population [ INTEGER ] , area [ REAL ] | customer : cust_id [ INTEGER ] primary_key , cust_name [ TEXT ] , annual_revenue [ INTEGER ] , cust_type [ TEXT ] , address [ TEXT ] , city [ TEXT ] , state [ TEXT ] , zip [ REAL ] , phone [ TEXT ] | driver : driver_id [ INTEGER ] primary_key , first_name [ TEXT ] , last_name [ TEXT ] , address [ TEXT ] , city [ TEXT ] , state [ TEXT ] , zip_code [ INTEGER ] , phone [ TEXT ] | truck : truck_id [ INTEGER ] primary_key , make [ TEXT ] , model_year [ INTEGER ] | shipment : ship_id [ INTEGER ] primary_key , cust_id [ INTEGER ] shipment.cust_id = customer.cust_id , weight [ REAL ] , truck_id [ INTEGER ] shipment.truck_id = truck.truck_id , driver_id [ INTEGER ] shipment.driver_id = driver.driver_id , city_id [ INTEGER ] shipment.city_id = city.city_id , ship_date [ TEXT ] |
-- -- Provide the destination city of the shipment shipped by January 16, 2017.

SELECT T2.city_name FROM shipment AS T1 INNER JOIN city AS T2 ON T1.city_id = T2.city_id WHERE T1.ship_date = '2017-01-16';