The gulf surgeon, Acanthurus randalli, a junior synonym of the ocean surgeon, Acanthurus bahianus (teleostei: Acanthuridae) - Smith-Vaniz, W. F.; Jelks, H.L.; Randall, J.E. (Gulf of Mexico Science, 2003)