Papilio dardanus polytrophus (Kenya)