CNN: Die US-Navy könnte einen Flugzeugträger nach Trump benennen – und damit den Namen des Kriegshelden Doris Miller ersetzen