what would it take to sink uss gerald r ford aircraft carrier