1st battalion 17th infantry regiment