Text this: Sale of Naval Hospital, Washington, D.C.