I just received this via email: WASHINGTON, D.C. – U.S. Congressman Mike Pence (R-IN) today formally announced his campaign for Republican Leader in the U.S. House of Representatives. In a…