Unban Trump on Twitter? Musk ponders reinstating former US president