Tim Holden vs. Chris Coleman for mayor of St. Paul... it's official.