what was the name of the event that ended on 12/16/1980?
(AND time.event (JOIN time.event.end_date 1980-12-16^^http://www.w3.org/2001/XMLSchema#date))