A prominent Navy thinker wants to do away with the massive ships that have long dominated the seas. What should replace them?