George W. Cole’s term in the House of Delegates ends.George W. Cole’s term in the House of Delegates ends.