pub fn finished(
    ctx: &mut EventCtx<'_>,
    app: &App,
    person: PersonID,
    open_trips: &mut BTreeMap<TripID, OpenTrip>,
    id: TripID,
    details: &mut Details
) -> Widget