v3.25.4
Organization and Basis of Presentation (Tables)
12 Months Ended
Dec. 31, 2025
Organization and Basis of Presentation  
Schedule of property rental and other property revenue

Year Ended December 31, 

 

  ​ ​ ​

2025

  ​ ​ ​

2024

  ​ ​ ​

2023

 

(Dollars in thousands)

Rental revenue from the U.S. federal government

$

56,899

$

64,958

$

64,439

Percentage of total revenue

 

11.4

%  

 

11.9

%  

 

10.7

%