$25-million is not on the chart for things to do.
Congress blows that much daily on goofy feel-good stuff in DC.
My take on this? I bet that is a misprint or on purpose screw up. How much do you want to bet it is 25 Billion. We know President Trump and his team do not go after small potatoes.