What would the verdict be if a black man named George Zimmerman had killed a white teenager named Trevor Martin?