Current and former operators of aircraft carriers