Not Kroger but Lucky's to open in Delray Beach