Title: Captain W.E. Johns' Biggles and the Gibraltar bomb