如何使用mark_rule()在牛郎星图表中显示垂直线

import altair as alt
import pandas as pd

# 创建一个示例数据集
data = pd.DataFrame({'x': [1, 2, 3, 4, 5], 'y': [2, 4, 1, 6, 8]})

# 创建一个牛郎星图表
chart = alt.Chart(data).mark_point().encode(
    x='x',
    y='y'
)

# 添加垂直线
rule = alt.Chart(pd.DataFrame({'x': [3]})).mark_rule(color='red').encode(
    x='x'
)

# 组合图表
final_chart = chart + rule

# 显示图表
final_chart.show()