The Washington Post, “New York Mayor de Blasio slammed for Trump-protesting Germany trip just after officer’s death” July 7, 2017