jean luke picard played by jean claude van damme in arrested development