Sotomayor: Trump's 13 executed 'deserved more' from court