ชื่ออะไรที่มีชื่อว่า Laid down ในเดือนกรกฎาคม พ.ศ. 2366 และพอร์ตสมัธสร้างขึ้นโดยอู่ต่อเรือ hm?
What is the name that has July 1823 as the Laid down, and portsmouth as the built by hm dockyard?
df = pd.DataFrame(columns=['name', 'laid_down', 'built_by_hm_dockyard'])
df.loc[(df['laid_down'] == 'july 1823') & (df['built_by_hm_dockyard'] == 'portsmouth'), 'name']