pansarskeppen Ajax och Devastation wid Portsmouth.