How Many Ships Are There