Tor, Jensen's son