The Ceylon light infantry : history of the first battalion (Regular Force), 1949-1975.