executor sale proceeds