Some questions about aircraft carriers