Muellers top prosecutor leaving