Halvorsen, Olaf, of Porsgrund Norway