Future aircraft carrier options - Martin, Bradley; McMahon, Michael (RAND Corporation, 2017)