Brazil gets infrastructure buyer’s credit