Ole Randers — Norwegian politician