Personal property of the U.S. Government, as of June 30, 1959-Continued

[In thousands of dollars]

[Total, Panama Canal.