Seeschlacht vom 1. Juni 1794