Off-duty police officer saves choking man