Trump boots out Jim Mattis, after Mattis said he was resigning