The taxpayer paid $2,000 in loan interest on a recreational van with sleeping, cooking, and bathroom amenities in addition to $5,000 in mortgage interest on a principal property, $1,500 on a vacation home, and $1,500 on a vacation home. What is the maximum mortgage interest deduction for taxpayers?