which ship was launched from devonport, devon?
pegasus