Police-officer-died-in-US-Capitol-attack