Deductions & credits

Thank you PK for your time to respond. Just to ensure I understand your response since there is no provision to enter TDS while entering foreign income in the US Tax File. So there are 2 options

1. Net Sale proceed = Sale Amount - (TDS + Other Sale Expense like Sale Commission)

2. Enter TDS as a Foreign tax credit in Form 1116.

Since TDS on property sale in India is deducted at a higher bracket (30%), does this make sense to select one over other?