The operator of the Jumbotron for the Dallas Stars hockey team had a little fun at President Donald Trump’s expense during Saturday night’s game against the Washington Capitals, jabbing the new Republican administration over reportedly inflated inauguration crowd estimates.