“a history of American aircraft carriers”