Amid war in Ukraine, work resumes on Poland-Norway gas pipeline