Namecheap.com
but most registrars don't have in house expired domain auctions so they outsource to Namejet or Snapnames.
By the way Namejet and Snapnames are not registrars.
I guess expired means "delete" so throw in Dropcatch but all won auctions the domains end up at Namebright.