Who launches aircraft from the carrier catapult anyways?