The 503rd Infantry Regiment and the 2nd Infantry Division are both formations of what military branch