(Mr. Bowen reports that the United States flag was hoisted and saluted with 21 guns by the Venezuelan war ship Restaurador.)