What was the nickname of the Infantry Division that the 89th Medium Tank Battalion was assigned to in November of 1951?