[Taxacom] Help with Hycleus oculatus please

[Mary Barkworth]

Inaturalist has it as CMR Bean Beetle (Hycleus oculatus). There is a record of it from Botswana but I cannot find the author (desirable for Symbiota). Could someone tell me who it is please - using Zoological citation style please.  Is it a synonym of Hycleus ocellata (Olivier, 1791)<https://www.gbif.org/species/6955485>?  Or is that simply a fuzzy match? CoL does not include the genus even.
Mary