The funeral of the Cuban patriot Gen. Garcia, Washington, D.C., U.S.A.