Police officer beaten down in Washington DC. He died later that day