Pakistan zoo begins mammoth makeover after lonely elephant’s departure