Washington's economy after World War II