Is it time to give the Supreme Court building a name? And would John Marshall Harlan be the right name?