Do we need to report gains with rental properties outside the US?