Names in regular type refer to official designations, names in italics refer to previous names or local nicknames
