Semidefinite Programs for Exact Recovery of a Hidden Community