Brazil’s oil revenue is set to fuel multibillion-dollar warship program