While traveling around the US, you are strongly recommended to carry original identity documents (passport, I-20 or DS-2019, and latest  I-94 admission record), even if you do not have to go through immigration inspection for domestic travel.