Railroad Retirement Amendment and War Service: A Letter Exchange