Horvitz-Thompson Estimators for Double-Platform Line Transect Surveys | Synapse