Trump sells D.C. hotel lease to Miami investment group
Briefly