The seismicity of East Africa, the Gulf of Aden and the Arabian and Red Seas | Synapse