The Washington Double Star Catalog