Brazil to provide $635m for BBDC’s new ship repair facility