Our solar system might have once had an extra gas planet