Rey David (probl.)