Highlights of this day in history: Christopher Columbus sets sail; Europe slides further into World War I; A Cold War case heats up Capitol Hill; Air traffic controllers in the U.S. go on strike; NBA founded; Singer Tony Bennett born. (Aug. 3) – Source: Various