With Supreme Court Justice Sotomayor's health problems should she retire?