Email Record: Examining Tax-Exempt Private Activity Bonds for All Aboard Florida's Brightline Passenger Rail System.