Retiring the ROTC Building Mortgage