Trump has filed his 2016 taxes, or so it seems from remarks by former IRS commissioner