Replacement name for Pecten vaughani var. flabellum Cooke, 1919, non Gmelin, 1791 (Ostrea flabella), nec Bosc, 1801 [details]