Army Corps of Engineers repairing pump, putting in temporary ones ahead of hurricane season