pansarskeppen “ Ajax " och “ Devastation " vid Portsmouth.