Original: Along with the 87th Mountain Infantry Regiment, his regiment would become the 10th Mountain Division.
Simplified: He was part of the 10th Mountain Division of the army.