"of the starship Cerritos,"