Charco do Cedro (Bahia, Brasil)