Jornal Do Brasilia - Norway government intervenes, ending oil and gas strike